(0 17 15)(1 20 4)(2 7 5)(3 19 10)(6 14 8)(9 16 11)(12 18 13)
ALLOWS (11/8)-SEQUENCE
1: (10 16 19)

(0 17 15)(1 20 4)(2 7 5)(3 19 11 9 16)(6 14 8)(10)(12 18 13)
2: (9 16 11)

(0 17 15)(1 20 4)(2 7 5)(3 19 11)(6 14 8)(9)(10)(12 18 13)(16)
3: (0 17 15)

(0)(1 20 4)(2 7 5)(3 19 11)(6 14 8)(9)(10)(12 18 13)(15)(16)(17)
4: (3 19 11)

(0)(1 20 4)(2 7 5)(3)(6 14 8)(9)(10)(11)(12 18 13)(15)(16)(17)(19)